Viviana Bono: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Behavioral Types in Programming Languages

Ancona, Davide, Bono, Viviana, Bravetti, Mario, Campos, Joana, Castagna, Giuseppe, Deniélou, Pierre-Malo, Gay, Simon J., Gesbert, Nils, Giachino, Elena, Hu, Raymond, Johnsen, Einar Broch, Martins, Fra

Journal:

Foundations and Trends® in Programming Languages

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

2

A typed lambda calculus with intersection types

Viviana Bono, Betti Venneri, Lorenzo Bettini

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 420 KB

english, 2008

3

Towards Object-Oriented Klaim

Lorenzo Bettini, Viviana Bono, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 167 KB

english, 2002

4

Typed interpretations of extensible objects

Bono, Viviana, Bugliesi, Michele, Crafa, Silvia

Journal:

ACM Transactions on Computational Logic

Year:

2002

Language:

english

File:

PDF, 392 KB

english, 2002

5

[ACM Press the 6th international symposium - Modena, Italy (2008.09.09-2008.09.11)] Proceedings of the 6th international symposium on Principles and practice of programming in Java - PPPJ '08 - Type safe dynamic object delegation in class-based languages

Bettini, Lorenzo, Bono, Viviana

Year:

2008

Language:

english

File:

PDF, 412 KB

english, 2008

6

Data-driven adaptation for smart sessions

Bono, Viviana, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 920 KB

english, 2017

7

Preface

Viviana Bono, Michele Bugliesi, Sophia Drossopoulou

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 56 KB

english, 2005

8

Delegation by object composition

Lorenzo Bettini, Viviana Bono, Betti Venneri

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 420 KB

english, 2011

9

Matching for the lambda calculus of objects

Viviana Bono, Michele Bugliesi

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 2.68 MB

english, 1999

10

A Core Calculus of Classes and Objects

Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 1.32 MB

1999

11

Preface: Volume 82, Issue 8

Viviana Bono, Michele Bugliesi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 47 KB

english, 2003

12

MOMI: a calculus for mobile mixins

Lorenzo Bettini, Betti Venneri, Viviana Bono

Journal:

Acta Informatica

Year:

2005

Language:

english

File:

PDF, 1.24 MB

english, 2005

13

A CuCh Interpretation of an Object-Oriented Language

Viviana Bono, Ivano Salvo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 353 KB

english, 2001

14

A Calculus for “environment-aware” computation

Viviana Bono, Ferruccio Damiani, Paola Giannini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 208 KB

english, 2002

15

[ACM Press the 2005 ACM symposium - Santa Fe, New Mexico (2005.03.13-2005.03.17)] Proceedings of the 2005 ACM symposium on Applied computing - SAC '05 - Safe and flexible objects

Bettini, Lorenzo, Bono, Viviana, Likavec, Silvia

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

16

[ACM Press the 2014 International Conference - Cracow, Poland (2014.09.23-2014.09.26)] Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14 - Trait-oriented programming in Java 8

Bono, Viviana, Mensa, Enrico, Naddeo, Marco

Year:

2014

Language:

english

File:

PDF, 212 KB

english, 2014

17

[ACM Press the 6th international symposium - Modena, Italy (2008.09.09-2008.09.11)] Proceedings of the 6th international symposium on Principles and practice of programming in Java - PPPJ '08 - A trait based re-engineering technique for Java hierarchies

Bettini, Lorenzo, Bono, Viviana, Naddeo, Marco

Year:

2008

Language:

english

File:

PDF, 673 KB

english, 2008

18

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - A core calculus of higher-order mixins and classes

Bettini, Lorenzo, Bono, Viviana, Likavec, Silvia

Year:

2004

Language:

english

File:

PDF, 116 KB

english, 2004

19

The Magda Language: Ten Years After

Bono, Viviana, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 175 KB

english, 2019

20

Pregestational obesity associates with increased T lymphocyte subtypes in the offspring

Arroyo-Jousse, Viviana, Bono, María Rosa, Casanello, Paola

Journal:

Year:

2019

Language:

english

File:

PDF, 49 KB

english, 2019

21

Pregestational obesity associates with increased T lymphocyte subtypes in the offspring

Arroyo-Jousse, Viviana, Bono, María Rosa, Casanello, Paola

Journal:

Year:

2019

File:

PDF, 49 KB

2019

22

Big-step Operational Semantics Revisited

KuÅmierek, JarosÅAw Dominik Mateusz, Bono, Viviana

Journal:

Fundamenta Informaticae

Year:

2010

File:

PDF, 350 KB

2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски